A Structured and Formal Requirements Analysis Method Based on Data Flow Analysis and Rapid Prototyping
نویسنده
چکیده
منابع مشابه
An Approach to the Design of Networked Embedded Systems
The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on appl...
متن کاملThe Structured Analysis of Requirements and Challenges of E-Learning and Proposing a a Practical Model for Successful Implementation of E- Courses in Medical Sciences
Introduction: The rapid expansion of e-learning elucidates the necessity of paying attention to this phenomenon by all educational centres especially medicals. Considering the importance of this subject and regarding the commencement of new courses in our country as well as the establishment of higher education disciplines, this paper aimed to review the structured analysis of requirements, cha...
متن کاملA Model-based Approach for Rapid Prototyping of Parallel Applications on Manycore
Rapid prototyping of highly parallel applications on manycore platforms is extremely challenging. This paper presents an automated analysis and code generation flow for implementing high-level KPN models on STHORM, an embedded 64-core computing fabric developed by STMicroelectronics. The flow is model-based with sound semantical basis and enables formal verification and performance analysis at ...
متن کاملRotor Sizing of Helicopters Using Statistical Approach
This paper is concerned with the statistical model development issues, necessary for rapid estimation of the rotor sizing for single main rotor helicopters at the preliminary design stage. However, Central Composite Design (CCD) method, simulation-based data collection, linear regression analysis, mathematical modelsdevelopmentand validations through the analysis of variance (ANOVA) were perfor...
متن کاملFormal specification and rapid prototyping: building in quality at the start
Formal Methods for Software Engineering, although widely recognised in academe as of potential benefit to industry, have proved difficult to "sell", both to industry and to students. Building on a novel teaching approach at Coventry University, we present an integrated approach to formal specification and rapid prototyping that offers a real contribution to building in quality at the front end ...
متن کامل